Mixed Integer Linear Programming Formulation Techniques

Mixed Integer Linear Programming Formulation Techniques

A wide range of problems can be modeled as Mixed Integer Linear Programming (MILP) problems using standard formulation techniques. However, in some cases the resulting MILP can be either too weak or to large to be effectively solved by state of the art solvers. In this survey we review advanced MILP formulation techniques that result in stronger and/or smaller formulations for a wide class of p...

Mixed and Integer Linear Programming Using Automata Techniques

We present a comprehensive overview of automata techniques for deciding first order logical theories. These techniques are useful in Integer Linear Programming and Mixed Integer Linear Programming, which in turn have wide applications in diverse areas of computer science and engineering. We have several goals in this paper. The first is to solidify the theory underpinning the automata technique...

A mixed integer linear programming formulation for a multi-stage, multi-Product, multi-vehicle aggregate production-distribution planning problem

In today’s competitive market place, companies seek an efficient structure of supply chain so as to provide customers with highest value and achieve competitive advantage. This requires a broader perspective than just the borders of an individual company during a supply chain. This paper investigates an aggregate production planning problem integrated with distribution issues in a supply chain ...

Noncommercial Software for Mixed-Integer Linear Programming

We present an overview of noncommercial software tools for the solution of mixed-integer linear programs (MILPs). We first review solution methodologies for MILPs and then present an overview of the available software, including detailed descriptions of eight software packages available under open-source or other noncommercial licenses. Each package is categorized as a black-box solver, a calla...

Application-oriented mixed integer non-linear programming